航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

R141b在圆形微通道内的沸腾换热实验研究

为提高换热强度、解决设备内部高热流密度散热问题,采用实验方法研究R141b在不同直径(D=0.5mm和1.0mm)水平圆形微通道内的沸腾换热特性,分析了热流密度(q=2.0kW/m~2～47.6kW/m~2)、质量干度(x=0～0.6)、质量流速(G=111.11kg/(m~2·s)～333.33kg/(m~2·s))的变化对平均传热系数h的影响,探究不同情况下影响沸腾换热的主导因素。实验研究表明:平均传热系数h随热流密度q的增加而减小,在不同范围内减小速率有明显差异;热流密度q=2kW/m~2～5kW/m~2时质量流速G对平均传热系数h影响较明显,热流密度较高时质量流速G对换热影响很小;在质量流速G=111.11kg/(m~2·s)～333.33kg/(m~2·s),质量干度x0.3时,平均传热系数h随质量干度x增加而明显下降,在设计微通道换热器时应尽量使R141b处于初始沸腾阶段以获得更好换热效果,并采取一定措施预防干度过高引起的换热恶化。     

实时嵌入式系统MIPS R3000和Intel 80960处理器的适用性评估

MIPSR30 0 0和Intel 80 96 0是实时嵌入式系统的两种候选处理器。本文描述了MIPSR30 0 0和Intel 80 96 0的结构特征。通过对流水线互锁、上下文转换、进程间通讯、同步及多进程支持、过程调用、容错和例外处理、中断处理、超越 /特殊功能、数据类型和调试支持等的分析 ,做出了两种结构的适用性评估     

多向层合板层间分层断裂韧性研究(英文)

在传统的柔度法和面积法的基础上 ,采用角度法对多向层合板层间分层断裂韧性进行了测试。该方法通过测量载荷与试验加载点处两子梁的夹角 ,不需要测量裂纹长度。同时对传统的柔度法进行了改进 ,改进后的柔度法可以用来测量两子梁刚度不等的 DCB试样。采用柔度法和角度法同时测试了碳纤维增强两种不同基体层合板 0 /θ(θ=0 ,30 ,6 0和 90°)层间分层断裂韧性 ,得出了分层断裂韧性随 θ的变化规律。这两种层合板分别为碳纤维增强脆性基体的 T30 0 / 4 2 1 1和碳纤维增强韧性基体的T30 0 / 32 6 1。结果发现 ,多向层合板层间分层断裂韧性与基体性能和分层界面处的铺层角有关     

VxWorks嵌入式实时操作系统在某导弹火控系统中的应用

为提高某导弹武器系统火控系统的实时性和可靠性,将VxWorks嵌入式实时操作系统用于火控系统的软件设计中。根据不同任务间的关系,给出了主作业流程,以及内外网数据的接收与发送、软件运行时序、校时处理、录取报文、数据库设计等主要处理部分。阐明了该VxWorks实时操作系统的设计特点。导弹武器系统试验结果表明,该火控系统软件运行稳定可靠,控制状态转换清晰可控。     

圆波导圆柱轴＋平面叶片终端不连续性的计算

分析了圆波导中“圆柱轴＋平面扇形金属叶片终端”的不连续性，根据电磁场互易定理和物理光学法（ＰＯ）计算了这种终端对波导模的反射系数。这个问题的研究可用来解决喷气式发动机进气道对电磁波的反射，进一步地利用本文的结果可计算进气道的雷达截面（ＲＣＳ）或极化散射矩阵。     

圆阵相位干涉仪二维测向解模糊新方法

长短基线结合和模糊角度聚类是圆阵相位干涉仪测向中两种常用的解模糊方法。针对角度聚类解模糊方法存在的不足,在对模糊方向的方向矢量投影在阵列所在平面的分布规律进行分析的基础上,提出一种基于模糊方向矢量投影聚类的解模糊新方法。该方法不但有效地减小了聚类所需的计算复杂度,而且易于选择聚类门限。仿真实验表明,所提出的新方法具有很好的解模糊性能。     

圆波导TE11/TE21双模自跟踪馈源的研究设计

圆波导TE11/TE21双模自跟踪馈源作为一种重要的自跟踪馈源,具有低插入损耗、高G/T值和全极化跟踪的优点,在测控领域得到广泛应用。在叙述了设计该馈源的理论、过程和方法的基础上,给出了一个设计实例——S频段的TE11/TE21双模自跟踪馈源,仿真和测试结果基本一致。     

嵌金属丝端燃药柱固体发动机水下点火数值模拟研究

为探讨降低固体火箭发动机水下点火初期推力峰值的方法,通过对燃气采用常微分控制方程、对嵌金属丝采用一维传热方程、对端燃药柱采用二维轴对称传热方程、对燃气泡采用球形气泡模型,就嵌金属丝端燃药柱发动机水下点火的工作过程进行了数值模拟研究。算例结果显示,发动机水下点火初期的推力峰值小于稳定工作推力,初始燃面积对推力峰值影响较大,发动机达到稳定工作推力所需时间随药柱直径的减小而迅速减小,发射深度的变化对推力达到稳定状态所需时间影响很小。     

用于遥感卫星数传的新型波导阵列组合天线

从新的设计理念出发，提出一种新型的波导十字阵列组合辐射天线替代了赋形反射面天线，用于低轨遥感卫星的数传系统。文中论述了该天线的设计思路、设计过程，并列出了天线的主要性能。最后还简述了该天线在国内卫星上的应用及我国未来低轨遥感卫星数传天线的发展趋势。该天线已在我国多个卫星上成功应用。这种波导阵列组合天线结构紧凑、尺寸小，具有与国外通用的赋形反射面天线基本类似的性能，可达到星载数传天线的预定要求，而且为星载遥感器及其他载荷留出了更大的对地安装空间。